It's 9 PM on a Saturday night... and I'm trying to understand what 
"co-recursion" means so I can implement an automated Lambda calculus to 
SKI combinator calculus conversion program...

Post a reply to this message